Temporal DB

Concurrency Control for Temporal Databases

Spin Model checker / Performance Evaluation / Formal Verification / Concurrency Control / Temporal DB